Heterogeneous Notations for Pure Formal Method Integration
نویسندگان
چکیده
منابع مشابه
BCS Heterogeneous Notations for Pure Formal Method Integration
We outline an extendible approach for combining formal methods| such as Z, Morgan's re nement calculus, and predicative programming|based on composing speci cations written in similar formal languages. We discuss how algorithm re nement can be extended to such a setting, and outline some examples of using integrated formal methods. We also provide justi cations for why using combinations of sim...
متن کاملBCS Heterogeneous Notations for
We describe an approach for deening and making use of compositions of partial speciications written in diierent formal languages. The technique provides a rst step towards integrating formal methods that use the notations. We discuss the integration process and consider how reenement can occur in such a setting. We present several examples of formal heterogeneous speciications, and two examples...
متن کاملUsing Heterogeneous Notations to Integrate a Formal and Object-Oriented Method
We combine a formal speciication technique with an object-oriented method using a meta-method for formal method integration based on heterogeneous notations 18, 19]. We discuss the integrated method, and then apply it to an example.
متن کاملA Meta-Method for Formal Method Integration
We describe a meta-method for formal method integration [Pai97]. The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.
متن کاملFormal Specification in Heterogeneous Distributed Software Integration*
Chunmin Yang Rajeev R. Raje Mikhail Auguston Barrett R. Bryant Andrew M. Olson Carol C. Burt Computer/Information Sciences Computer/Information Science Computer Science Univ. of Alabama-Birmingham Indiana Univ. Purdue Univ. New Mexico State Univ. Birmingham, AL 35294, USA Indianapolis, IN 46202, USA Las Cruces, NM 88003, USA {yangc, bryant, cburt}@cis.uab.edu {rraje, aolson}@cs.iupui.edu mikau@...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1998
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s001650050013